From e1dbd3170cce75c48fa5a86116c971fe5fd0a8a3 Mon Sep 17 00:00:00 2001 From: Maria Valentina Marin Date: Mon, 2 Sep 2019 13:35:55 +0200 Subject: [PATCH] Remove $datetime from html_footer.html to make package reproducible MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Reviewed-by: IOhannes m zmölnig Last-Update: 2015-06-28 Last-Update: 2015-06-28 Gbp-Pq: Name remove_datetime.patch --- documentation/html_footer.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/html_footer.html b/documentation/html_footer.html index 584df61..d23d80d 100644 --- a/documentation/html_footer.html +++ b/documentation/html_footer.html @@ -4,7 +4,7 @@